
El uso de bases de datos está ampliamente extendido en todo tipo de aplicaciones informáticas. Sin embargo, el desarrollo de bases de datos relacionales es una tarea compleja para la que no existe apenas herramientas complementarias de depuración y prueba \cite{cgs12a-flops2012}\cite{Tuya:2010}. Comprobar si una consulta es correcta es difícil utilizando instancias reales, ya sea porque el número de filas en las tablas suele ser muy elevado en bases de datos pobladas o por que haya pocos datos en la fase inicial de desarrollo. Por eso, es importante disponer de instancias significativas. 

Para dar solución a este problema hemos desarrollado una herramienta que permite encontrar una instancia de la base de datos para la cual una determinada consulta devuelve una respuesta no vacía, lo que se denomina un caso de prueba positivo. Siguiendo lo propuesto en \cite{flops2010}, reducimos el problema de encontrar un caso de prueba   a un problema de resolución de restricciones \cite{MarStu:CP98}. Así, a partir del estudio de la definición del esquema de la base de datos y dado el nombre de la vista o tabla de la cual se quiere obtener el caso de prueba y una cota superior del tamaño que tendrán las tablas del caso de prueba relacionadas con dicha vista o tabla podemos obtener los valores que conforman dicho caso de prueba.